IV.—WHAT IS FORMAL LOGIC ABOUT?
نویسندگان
چکیده
منابع مشابه
?Logic and Formal Ontology: Is the Final Formal Ontology Possible
Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...
متن کاملWhat is “ formal logic ” ?
0. Introduction Many people understand the expression “formal logic” as meaning modern mathematical logic by opposition to traditional logic before the revolution that happened in the second part of the 19 century with Boole, Frege and others. But in fact this expression was created by Kant (see Scholz 1931). Some people like to quote a excerpt of the preface of the second edition of the Critic...
متن کاملFormal Reasoning about Actor Programs Using Temporal Logic
We here present an approach to reasoning about actor programs on the basis of temporal logic. Temporal logic is particularly appropriate for the speciication of concurrent programs, but most known temporal logic proof systems for concurrent computations rely on imperative language constructs, ignoring, e.g., the creation of processes and the dynamic connguration of communication channels, which...
متن کاملFormal Logic
where the universal (all) has been replaced with an existential (some/exists) then the argument would not be valid. In Ancient Greece, Aristotle exhaustively considered all possible combinations of universals and existentials in syllogisms, allowing also for the possibility of negations, and collected those corresponding to valid inferences in a classification theorem. For many centuries, that ...
متن کاملSpatial Proportional Reasoning Is Associated With Formal Knowledge About Fractions
Spatial Proportional Reasoning Is Associated With Formal Knowledge About Fractions Wenke Möhring, Nora S. Newcombe, Susan C. Levine & Andrea Frick To cite this article: Wenke Möhring, Nora S. Newcombe, Susan C. Levine & Andrea Frick (2016) Spatial Proportional Reasoning Is Associated With Formal Knowledge About Fractions, Journal of Cognition and Development, 17:1, 67-84, DOI: 10.1080/15248372....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mind
سال: 1917
ISSN: 0026-4423,1460-2113
DOI: 10.1093/mind/xxvi.1.428